Dedekind cuts of Archimedean complete ordered abelian groups
نویسنده
چکیده
A Dedekind cut of an ordered abelian group G is a pair (X, Y) of nonempty subsets of G where Y=G−X and every member of X precedes every member of Y. A Dedekind cut (X, Y) is said to be continuous if X has a greatest member or Y has a least member, but not both; if every Dedekind cut of G is a continuous cut, G is said to be (Dedekind) continuous. The ordered abelian group R of real numbers is, of course, up to isomorphism the unique (Dedekind) continuous ordered abelian group. R is also up to isomorphism the unique Archimedean complete, Archimedean ordered abelian group. The idea of an Archimedean complete ordered abelian group was introduced by Hans Hahn [17] as a generalization of Hilbert’s [19, 20] classical continuity condition which characterizes R as an Archimedean ordered field which admits no proper extension to an Archimedean ordered field.
منابع مشابه
Arithmetic of Dedekind cuts on ordered Abelian groups
We study Dedekind cuts on ordered Abelian groups. We introduce a monoid structure on them, and we characterise, via a suitable representation theorem, the universal part of the theory of such structures. MSC: 06F05; 06F20
متن کاملArithmetic of Dedekind cuts of ordered Abelian groups
We study Dedekind cuts on ordered Abelian groups. We introduce a monoid structure on them, and we characterise, via a suitable representation theorem, the universal part of the theory of such structures. MSC: 06F05; 06F20
متن کاملExistentially Complete Abelian Lattice-ordered Groups
The theory of abelian totally ordered groups has a model completion. We show that the theory of abelian lattice-ordered groups has no model companion. Indeed, the Archimedean property can be captured by a first order V3V sentence for existentially complete abelian lattice-ordered groups, and distinguishes between finitely generic abelian lattice-ordered groups and infinitely generic ones. We th...
متن کاملReverse Mathematics, Archimedean Classes, and Hahn’s Theorem
Archimedean classes and convex subgroups play important roles in the study of ordered groups. In this paper, we show that ACA0 is equivalent to the existence of a set of representatives for the Archimedean classes of an ordered abelian group. Hahn’s Theorem is the strongest known tool for classifying orders on abelian groups. It states that every ordered abelian group can be embedded into produ...
متن کاملUniqueness and Homogeneity of Ordered Relational Structures
There are four major results in the paper. (1) In a general ordered relational structure that is order dense, Dedekind complete, and whose dilations (automorphisms with fixed points) are Archimedean, various consequences of linite uniqueness are developed (Theorem 2.6). (2) Replacing the Archimedean assumption by the assumption that there is a homogeneous subgroup of automorphisms that is Archi...
متن کامل